lambda calculus câu

• Based on the lambda calculus, Lisp soon became the programming language of choice for AI applications after its publication in 1960.[14]
  Dựa trên tính toán lambda, Lisp sớm trở thành ngôn ngữ lập trình được lựa chọn cho các ứng dụng AI sau khi xuất bản năm 1960.[13]
• Based on the lambda calculus, Lisp soon became the programming language of choice for AI applications after its publication in 1960.
  Dựa trên tính toán lambda, Lisp sớm trở thành ngôn ngữ lập trình được lựa chọn cho các ứng dụng AI sau khi xuất bản năm 1960.[13]
• Based on the lambda calculus, Lisp rapidly became the programming language of choice for AI applications after its publication in 1960.
  Dựa trên tính toán lambda, Lisp sớm trở thành ngôn ngữ lập trình được lựa chọn cho các ứng dụng AI sau khi xuất bản năm 1960.[13]
• Alonzo Church, the Ph.D. supervisor for the Enigma breaker Alan Turing, came up with the mathematical model of functions called the lambda calculus in the 1930s.
  Nhà thờ Alonzo, Tiến sĩ giám sát viên của bộ ngắt Enigma Alan Turing, đã đưa ra mô hình toán học của các hàm được gọi là phép tính lambda vào những năm 1930.
• While his proof was published subsequent to Alonzo Church’s equivalent proof in respect to his lambda calculus, Turing’s work is considerably more accessible and intuitive.
  Tuy chứng minh của ông được đăng công khai sau chứng minh tương tự của Alonzo Church đối với phép tính lambda (lambda calculus), chứng minh của Turing được coi là dễ hiểu và trực giác hơn.
• While his proof was published subsequent to Alonzo Church's equivalent proof in respect to his lambda calculus, Turing's work was considerably more accessible and intuitive.
  Tuy chứng minh của ông được đăng công khai sau chứng minh tương tự của Alonzo Church đối với phép tính lambda (lambda calculus), chứng minh của Turing được coi là dễ hiểu và trực giác hơn.
• While his proof was published subsequent to Alonzo Church's equivalent proof in respect to his lambda calculus, Turing's work is considerably more accessible and intuitive.
  Tuy chứng minh của ông được đăng công khai sau chứng minh tương tự của Alonzo Church đối với phép tính lambda (lambda calculus), chứng minh của Turing được coi là dễ hiểu và trực giác hơn.
• While his proof was published subsequent to Alonzo Church's equivalent proof in respect to his lambda calculus, Turing's work was considerably more accessible and intuitive.
  Tuy chứng minh của ông được đăng công khai sau chứng minh tương tự của Alonzo Church đối với giải tích lambda (lambda calculus), chứng minh của Turing được coi là dễ hiểu và trực giác hơn.
• While his proof was published subsequent to Alonzo Church's equivalent proof in respect to his lambda calculus, Turing's work is considerably more accessible and intuitive.
  Tuy chứng minh của ông được đăng công khai sau chứng minh tương tự của Alonzo Church đối với giải tích lambda (lambda calculus), chứng minh của Turing được coi là dễ hiểu và trực giác hơn.
• While his proof was published subsequent to Alonzo Church’s equivalent proof in respect to his lambda calculus, Turing’s work is considerably more accessible and intuitive.
  Tuy chứng minh của ông được đăng công khai sau chứng minh tương tự của Alonzo Church đối với giải tích lambda (lambda calculus), chứng minh của Turing được coi là dễ hiểu và trực giác hơn.
• In functional programming, lambda calculus, and programming languages, it usually means identifies that are defined outside a given function but can be used in it.
  Trong lập trình chức năng, phép tính lambda và các ngôn ngữ lập trình, môi trường thông thường có nghĩa là các từ định danh đã được định nghĩa ngoài hàm đã cho nhưng có thể được sử dụng trong nó.
• In mathematical logic and computer science, lambda calculus, also written as λ-calculus, is a formal system for function definition, function application and recursion.
  Trong logic toán học và khoa học máy tính, phép tính lambda (tiếng Anh:lambda calculus) hay còn được viết là λ-calculus, là một hệ thống hình thức dùng trong việc định nghĩa hàm số, ứng dụng hàm số và đệ quy.
• In mathematical logic and computer science, lambda calculus, also written as λ-calculus, is a formal system designed to investigate function definition, function application and recursion.
  Trong logic toán học và khoa học máy tính, phép tính lambda (tiếng Anh:lambda calculus) hay còn được viết là λ-calculus, là một hệ thống hình thức dùng trong việc định nghĩa hàm số, ứng dụng hàm số và đệ quy.
• In functional programming, lambda calculus, and programming languages, it usually means identifiers that are defined outside a given function but can be used in it.
  Trong lập trình chức năng, phép tính lambda và các ngôn ngữ lập trình, môi trường thông thường có nghĩa là các từ định danh đã được định nghĩa ngoài hàm đã cho nhưng có thể được sử dụng trong nó.
• The ECMA 262 specification defines scope as: a lexical environment in which a Function object is executed in client-side web scripts akin to how scope is defined in lambda calculus.
  Các đặc điểm kỹ thuật ECMA-262 định nghĩa phạm vi như: môi trường từ vựng trong đó một đối tượng Chức năng được thực hiện ở phía client script web; giống như thế nào phạm vi được xác định trong phép tính lambda.